automated protocol validation
英 [ˈɔːtəmeɪtɪd ˈprəʊtəkɒl ˌvælɪˈdeɪʃən]
美 [ˈɔːtəmeɪtɪd ˈproʊtəkɑːl ˌvæləˈdeɪʃən]
【计】自动化化协议验证
双语例句
- After Analyzing existing protocol validation techniques, we propose a FSM simplified method and an error-first search algorithm. Based on this strategy, an automated protocol validation system ( APVS) in which protocols are specified in ESTELLE is developed and discussed.
本文在分析现有验证技术的基础上，提出了实体自动机化简方法和错误优先的搜索算法（EFSA），同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS。 - Reliable strategy for automated Protocol Validation
协议自动验证的可靠策略